Nuprl Definition : alle-ge
0,22
postcript
pdf
e'
e
.
P
(
e'
) ==
e'
:E.
e
e'
P
(
e'
)
latex
clarification:
alle-ge(
es
;
e
;
e'
.
P
(
e'
)) ==
e'
:es-E(
es
). es-le(
es
;
e
;
e'
)
P
(
e'
)
latex
Definitions
x
:
A
.
B
(
x
)
,
E
,
P
Q
,
e
e'
FDL editor aliases
alle-ge
origin